Remove hand-written node pointers in doc/misc/widget.texi
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 19:57:35 +0000 (11:57 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 19:57:35 +0000 (11:57 -0800)
commitc9e1895fa1cac8eb0ad14787bbe23f6887b4e789
tree9a78d47f00443c6bd473d2a1eedf30a5950775d8
parent7b667905e47f723219fd4fb9e8a997ba99dc327c
Remove hand-written node pointers in doc/misc/widget.texi
Fix up sectioning
doc/misc/ChangeLog
doc/misc/widget.texi